Type systems - PDFSEARCH.IO - Document Search Engine

Type systems
Results: 2329

#	Item
391	PLEASE TYPE POLICY TITLE HERE Add to Reading List Source URL: www.schn.health.nsw.gov.au Language: English - Date: 2015-05-28 10:05:52 Business Finance Voucher School voucher Cheque Payment systems Education Cabcharge
392	Local Procurement – Nyngan Solar Plant Knowledge type: Supply Chain Knowledge category: Logistical Technology: Solar photovoltaic Key learning The delivery of a utility scale solar project requires supply of equipment Add to Reading List Source URL: arena.govspace.gov.au Language: English - Date: 2015-02-09 22:22:09 Management Systems engineering Procurement Supply chain First Solar EPC Logistics Photovoltaics Business Technology Supply chain management
393	North West NewsPage: 17 Region: Brisbane Type: Suburban Add to Reading List Source URL: www.serf.qut.edu.au Language: English - Date: 2010-05-04 22:30:38 Queensland University of Technology Systems ecology Sustainability Ecosystem Knowledge Science Environment Environmental economics Association of Commonwealth Universities
394	PDF Document Add to Reading List Source URL: wwwimages.adobe.com Language: English - Date: 2015-05-21 09:08:23 Computer programming Adobe Systems Typesetting Type foundries Cross-platform software PostScript fonts PostScript TrueType Subroutine Computing Digital typography Software engineering
395	Type Presentation Title Here Add to Reading List Source URL: eng.monash.edu.au Language: English - Date: 2009-05-31 22:01:02 Safety engineering Health Occupational safety and health Environmental social science Risk management Health and Safety at Work etc. Act Safety Management Systems Michigan Occupational Safety and Health Administration Safety Risk Industrial hygiene
396	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
397	Package ‘RObjectTables’ July 23, 2012 Version 0.3 DateTitle User-level attach()’able table support Author Duncan Temple Lang <> Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2012-07-23 21:26:05 Relational database management systems Data types Subroutines Type theory Variables Database index Closure PL/SQL SQL Software engineering Computing Data management
398	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
399	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
400	716 DISTRIBUTED COORDINATION-BASED SYSTEMS CHAP. 12 Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2001-08-05 10:54:10 Type theory Distributed computing architecture Parallel computing Tuple space Jini Tuple Linda Extensible Storage Engine Product type Computing Concurrent computing Java platform

UPDATE